Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
11	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
12	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-10-29 00:52:29 Mathematics Applied mathematics Logic Constraint programming Operations research Algorithm Mathematical logic Theoretical computer science Simulated annealing Local search Mathematical optimization Compactness theorem
13	Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic
14	JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:11:15 Constraint programming Mathematical optimization Constraint Regularization Analysis Constraint satisfaction Mathematics Applied mathematics Constraint logic programming
15	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
16	Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:27 Declarative programming Constraint programming Software engineering Programming paradigms Computer programming Constraint logic programming Logic programming Constraint satisfaction Concurrent constraint logic programming
17	The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION? Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2016-07-01 14:44:38 Knowledge representation Reasoning Logic Mathematics Computational topology Constraint programming Region connection calculus Mathematical logic Ontology Topology Image segmentation Topological space
18	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language
19	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
20	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming